(*$A+,D+*) program TestOfPCPASCVarAllocation; var I : integer; function func(J : integer) : integer; begin func := J; end; procedure proca(J : integer); begin J := 1; end; procedure procb(J : integer; var K : integer); begin K := J; end; begin I := 1; I := func(I); proca(I); procb(1,I); end.